$\vdash$  $\forall$$P$:$\mathbb{P}$, $d$:Dec($P$). [$d$]$_{b}$ $\in$ $\mathbb{B}$